@TechReport{Tru_j2003_a, author = {Bianca~Truthe}, title = {{Zur Endlichkeit von Bildsprachen synchroner, einfach-nichtdeterministischer Ketten-Code-Bild-Systeme}}, institution = fin, year = 2003, number = {7/2003}, url = {http://theo.cs.uni-magdeburg.de/pubs/papers/TR03-07.pdf} }